mine operator - Alemán Inglés Diccionario